module Module

type T(i: a -> b -> c) = class end
